/*
 * resolver.h
 *
 *  Created on: 21/04/2011
 *      Author: joao
 */

#ifndef RESOLVER_H_
#define RESOLVER_H_

void preencheCertezas();

#endif /* RESOLVER_H_ */
